A statement that has been proven based on previously established statements.

एक कथन जो पहले से स्थापित कथनों के आधार पर सिद्ध किया गया है।

English Usage: The Schroeder-Bernstein theorem states that if there are injections between two sets, then there is a bijection between them.

Hindi Usage: श्रोडर-बर्नस्टीन प्रमेय कहता है कि यदि दो सेटों के बीच इंजेक्शन हैं, तो उनके बीच एक बायजेक्शन है।